261. Verification of infinite-state systems with applications to security /
پدیدآورنده: edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer security, Congresses.,Computer software-- Verification, Congresses.,System theory-- Mathematical models, Congresses.,System theory-- Security measures, Congresses.,Computer security.,Computer software-- Verification.,COMPUTERS-- Internet-- Security.,COMPUTERS-- Networking-- Security.,COMPUTERS-- Security-- General.,System theory-- Mathematical models.
رده :
Q295
.
N38
2005eb
262. Web Information Systems and Technologies :
پدیدآورنده: José Cordeiro, Joaquim Filipe (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Application software-- Development, Congresses.,Internet, Congresses.,World Wide Web, Congresses.,Artificial Intelligence (incl. Robotics),Business Information Systems.,Computer Appl. in Administrative Data Processing.,Computer Science.,e-Commerce/e-business.,Information Systems Applications (incl. Internet),Application software-- Development.,Informatique.,Internet.,World Wide Web.
رده :
TK5105
.
875
.
I57
I58
2010
263. Wireless and satellite systems :
پدیدآورنده: Min Jia, Qing Guo, Weixiao Meng (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Wireless communication systems, Congresses.,Wireless communication systems.
رده :
TK5103
.
2
264. 0203931254 (ebook)
پدیدآورنده: edited by Nancy Snow, Philip M. Taylor.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
266. xiv, 237 p. :
پدیدآورنده: Chris Johnson & Jolyon Leslie.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
267. xviii, 5,Intern
پدیدآورنده: Carl F. Goodman. ,Jung Wook Cho.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
